w{-}when($w$; $x$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$w{-}s($w$; 1of($e$); 2of($e$); $x$)